Computational problems without computation

Problemen uit de discrete wiskunde lijken op het eerste gezicht vaak erg simpel. Ze kunnen meestal gemakkelijk en zonder gebruik te maken van wiskundige begrippen worden geformuleerd. Toch komt het vaak voor dat zo’n ogenschijnlijk eenvoudig probleem nog open is of dat er, zoals bij het handelsreizigersprobleem, wel een oplossing gegeven kan worden,maar alleen een die onbruikbaar is omdat de rekentijd bij grotere getallen te snel groeit. In dit artikel, gebaseerd op zijn voordracht op het NMC 2002, kijkt Gerhard Woeginger naar de tegenovergestelde situatie. Hij introduceert allerlei discrete\ud problemen die onoplosbaar lijken, maar waarvoor er een simpele oplossing bestaat

Tight bounds for break minimization

We consider round-robin sports tournaments with n teams and n − 1 rounds. We construct an infinite family of opponent schedules for which every home-away assignment induces at least 1/4 n(n−2) breaks. This construction establishes a matching lower bound for a corresponding upper bound from the literature

The Open Shop Scheduling Problem

We discuss the computational complexity, the approximability, the algorithmics and the combinatorics of the open shop scheduling problem. We summarize the most important results from the literature and explain their main ideas, we sketch the most beautiful proofs, and we also list a number of open problems

Are there any nicely structured preference~profiles~nearby?

We investigate the problem of deciding whether a given preference profile is close to having a certain nice structure, as for instance single-peaked, single-caved, single-crossing, value-restricted, best-restricted, worst-restricted, medium-restricted, or group-separable profiles. We measure this distance by the number of voters or alternatives that have to be deleted to make the profile a nicely structured one. Our results classify the problem variants with respect to their computational complexity, and draw a clear line between computationally tractable (polynomial-time solvable) and computationally intractable (NP-hard) questions

Geometric versions of the 3-dimensional assignment problem under general norms

We discuss the computational complexity of special cases of the 3-dimensional (axial) assignment problem where the elements are points in a Cartesian space and where the cost coefficients are the perimeters of the corresponding triangles measured according to a certain norm. (All our results also carry over to the corresponding special cases of the 3-dimensional matching problem.) The minimization version is NP-hard for every norm, even if the underlying Cartesian space is 2-dimensional. The maximization version is polynomially solvable, if the dimension of the Cartesian space is fixed and if the considered norm has a polyhedral unit ball. If the dimension of the Cartesian space is part of the input, the maximization version is NP-hard for every $L_p$ norm; in particular the problem is NP-hard for the Manhattan norm $L_1$ and the Maximum norm $L_{\infty}$ which both have polyhedral unit balls.Comment: 21 pages, 9 figure

Planar 3-dimensional assignment problems with Monge-like cost arrays

Given an $n\times n\times p$ cost array $C$ we consider the problem $p$-P3AP which consists in finding $p$ pairwise disjoint permutations $\varphi_1,\varphi_2,\ldots,\varphi_p$ of $\{1,\ldots,n\}$ such that $\sum_{k=1}^{p}\sum_{i=1}^nc_{i\varphi_k(i)k}$ is minimized. For the case $p=n$ the planar 3-dimensional assignment problem P3AP results. Our main result concerns the $p$-P3AP on cost arrays $C$ that are layered Monge arrays. In a layered Monge array all $n\times n$ matrices that result from fixing the third index $k$ are Monge matrices. We prove that the $p$-P3AP and the P3AP remain NP-hard for layered Monge arrays. Furthermore, we show that in the layered Monge case there always exists an optimal solution of the $p$-3PAP which can be represented as matrix with bandwidth $\le 4p-3$. This structural result allows us to provide a dynamic programming algorithm that solves the $p$-P3AP in polynomial time on layered Monge arrays when $p$ is fixed.Comment: 16 pages, appendix will follow in v

Charlemagne's challenge: the periodic latency problem.

Latency problems are characterized by their focus on minimizing the waiting time for all clients. We study periodic latency problems, a non-trivial extension of standard latency problems. In a periodic latency problem each client has to be visited regularly: there is a server traveling at unit speed, and there is a set of n clients with given positions. The server must visit the clients over and over again, subject to the constraint that successive visits to client i are at most qi time units away from each other. We investigate two main problems. In problem PLPP the goal is to find a repeatable route for the server visiting as many clients as possible, without violating their qi's. In problem PLP the goal is to minimize the number of servers needed to serve all clients. In dependence on the topol- ogy of the underlying network, we derive polynomial-time algorithms or hardness results for these two problems. Our results draw sharp separation lines between easy and hard cases.Latency problem; Periodicity; Complexity;